//:C01:HasDestructor.cpp
class HasDestructor{
    public:
        ~HasDestructor(){}
};

void g();   // For all we know, g may throw.
void f(){
    HasDestructor h;
    g();
}